Bezboruah, A. Shepherdson, J.C. "Gödel's second incompleteness theorem for Q"